First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
651	SYMBOLIC LOGIC Proposed Course Syllabus Instructor: Brian Robinson Email: [removed] Website: www.brobinson.info Add to Reading List Source URL: www.brobinson.info Language: English - Date: 2013-11-12 10:07:55 Model theory First-order logic Valuation Propositional calculus Truth Decidability Logic Mathematical logic Philosophy
652	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
653	A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC ITA¨I BEN YAACOV AND ARTHUR PAUL PEDERSEN A BSTRACT. Continuous first-order logic has found interest among model theorists who wish to extend the classical analys Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-10 18:19:28 Metalogic Interpretation Łukasiewicz logic First-order logic Structure Elementary class Ultraproduct Many-valued logic Compactness theorem Model theory Logic Mathematical logic
654	Microsoft Word - Uniform Course Syllabus CS118.doc Add to Reading List Source URL: www.wvup.edu Language: English - Date: 2013-07-26 17:11:03 Discrete mathematics Function Algorithm Combinatorics Computational complexity theory First-order logic Outline of discrete mathematics Areas of mathematics Mathematics Logic Mathematical logic
655	What can the problem of mixed inferences teach us about alethic pluralism?1 1. Alethic pluralism Here is a well-known thought about truth: Truth consists in correspondence with reality. A sentence is true just in case w Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:01 Propositional calculus Logical consequence Theories of truth Predicate Truth Proposition First-order logic Modal logic Inference Logic Philosophical logic Predicate logic
656	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
657	Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:08:39 Model theory Non-classical logic Abstraction Axiology First-order logic Parallel computing Modal logic Trace Temporal logic Logic Mathematics Mathematical logic
658	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic
659	Fred Sommers on the Logic of Natural Language Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-10-04 10:24:16 Traditional logic Classical logic Term logic First-order logic Gottlob Frege Syllogism Mathematical logic Function Square of opposition Logic Philosophical logic Predicate logic
660	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:38 Theoretical computer science Models of computation Symbol First-order logic Physical quantity KeY Lambda calculus Dynamical system Constructible universe Logic Mathematical logic Model theory

UPDATE